The S-Replete Constuction

نویسندگان

  • Martin Hyland
  • Eugenio Moggi
چکیده

However, the replete construction is of a very general nature and most of its properties are independent of the axioms for Σ and of E being a topos. We consider the replete construction in the more general setting of a cartesian closed B-fibration p: C → B, where B is a category with finite products. This encompasses the case of a cartesian closed category (i.e. p: C → 1) and that of a locally cartesian closed category (quasi-topos or topos) fibred over itself (i.e. p = cod:B → B). The first case is of interest in the context of Classical Domain Theory, while the second one is typical of SDT . There are important conceptual advantages of working in a fibred setting:

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Constuction of solitary solutions for nonlinear differential-difference equations via Adomain decomposition method

Here, Adomian decomposition method has been used for finding approximateand numerical solutions of nonlinear differential difference equations arising inmathematical physics. Two models of special interest in physics, namely, theHybrid nonlinear differential difference equation and Relativistic Toda couplednonlinear differential-difference equation are chosen to illustrate the validity andthe g...

متن کامل

Improved Heuristic Search for Sparse Motion Planning Data Structures

Sampling-based methods provide efficient, flexible solutions for motion planning, even for complex, highdimensional systems. Asymptotically optimal planners ensure convergence to the optimal solution, but produce dense structures. This work shows how to extend sparse methods achieving asymptotic near-optimality using multiple-goal heuristic search during graph constuction. The resulting method ...

متن کامل

A 19-Channel d.c. SQUID Magnetometer System for Brain Research

A lPchanne1 d.c. SQUID magnetometer system for neuromagnetic investigations is under constuction. The first-order gradiometers for sensing the signal are placed in a hexagonal configuration. D.c. SQUIDS based on niobium/aluminium technology have been developed, leading to a field sensitivity of about 5 fT/JHz. SQUID read-out is realized with a resonant transformer circuit at 100 kI-Iz. The mult...

متن کامل

Elemental composition of marine Prochlorococcus and Synechococcus: Implications for the ecological stoichiometry of the sea

The elemental composition of marine cyanobacteria is an important determinant of the ecological stoichiometry in low-latitude marine biomes. We analyzed the cellular carbon (C), nitrogen (N), and phosphorus (P) contents of Prochlorococcus (MED4) and Synechococcus (WH8103 and WH8012) under nutrient-replete and P-starved conditions. Under nutrient-replete conditions, C, N, and P quotas (femtogram...

متن کامل

Dissociation of augmented physiological, hormonal and cognitive responses to hypoglycaemia with sustained caffeine use.

In patients with Type I diabetes and healthy volunteers, ingestion of modest amounts of caffeine augments the usual symptomatic and counter-regulatory responses to hypoglycaemia. The aim of the present study was to determine whether these are lost with sustained caffeine use, i.e. does tolerance develop? Eleven healthy caffeine consumers underwent two identical hyperinsulinaemic glucose clamp p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995